formal analysis

【语言学】形式分析